Computer Science and Engineering

Results: 6228



#Item
531Logic / Abstraction / Propositional calculus / Syntax / Mathematics / Logic in computer science / Formal methods / Feature model / Semantics / Product family engineering / Software Product Lines Online Tools / Boolean algebra

Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany

Add to Reading List

Source URL: wwwiti.cs.uni-magdeburg.de

Language: English - Date: 2011-06-11 06:47:51
532Science and technology / Academia / Science / Computational thinking / Computational science / Computer science / A New Kind of Science / Science /  technology /  engineering /  and mathematics

Bringing Expert Computational Practices into High School Science Classrooms Elham Beheshti, David Weintrop, Kai Orton, Michael Horn, Kemi Jona, Laura Trouille, Uri Wilensky Northwestern University Introduction

Add to Reading List

Source URL: ccl.northwestern.edu

Language: English - Date: 2016-06-13 15:45:10
533Energy conservation / Electromagnetism / Computing / Electric power / Electronics / Audio codecs / Computers and the environment / Power management / Low-power electronics / Dynamic voltage scaling / Scheduling / Dynamic frequency scaling

Dynamic Voltage Scaling for Portable Systems Tajana Simunic Luca Benini Andrea Acquaviva Peter Glynny Giovanni De Micheli yManagement Science and Computer Systems  DEIS Engineering Department

Add to Reading List

Source URL: seelab.ucsd.edu

Language: English - Date: 2012-06-04 16:50:20
534Institute of Electrical and Electronics Engineers / Piscataway /  New Jersey

Curriculum Vitae JESSY W. GRIZZLE Business Address Department of Electrical Engineering and Computer Science University of Michigan EECS Building

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2016-04-25 13:09:25
535Software / Computing / Computer graphics / Graphics file formats / Open formats / Adobe Systems / Microsoft Office / Vector graphics markup languages / TIFF / Institute of Electrical and Electronics Engineers / LaTeX / IEEE style

1 Preparation of Papers for Asian Journal of Engineering, Science and Techonology First A. Author, Second B. Author, Jr., and Third C. Author, Member, IEEE

Add to Reading List

Source URL: ajest.iqra.edu.pk

Language: English - Date: 2011-11-15 05:24:12
536Information science / Statistical natural language processing / Natural language processing / Statistics / Machine learning / Information retrieval / Bayesian network / Probability distribution / Tfidf / Latent semantic analysis / Probabilistic latent semantic analysis

Improving Information Retrieval with Textual Analysis: Bayesian Models and Beyond by Jaime B. Teevan Submitted to the Department of Electrical Engineering and Computer

Add to Reading List

Source URL: www.websci11.org

Language: English - Date: 2016-03-15 09:55:59
537Graph theory / Mathematics / Algebra / Morphisms / Finite groups / Permutation groups / Algebraic graph theory / Graph automorphism / Graph isomorphism problem / Line graph / Symmetric group / Graph isomorphism

Permutation groups and the graph isomorphism problem Sumanta Ghosh and Piyush P Kurur Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India

Add to Reading List

Source URL: www.cse.iitk.ac.in

Language: English - Date: 2016-07-30 09:35:21
538Multivariate statistics / Numerical analysis / Statistics / Applied mathematics / Dimension reduction / T-distributed stochastic neighbor embedding / Computational statistics / Nonlinear dimensionality reduction / Mathematical optimization / Dimensionality reduction / Deep learning / Artificial neural network

Fast Optimization for t-SNE Laurens van der Maaten Department of Computer Science and Engineering, University of California, San Diego 9500 Gilman Drive, La Jolla, CA 92093, USA Pattern Recognition & Bioinformatics Lab,

Add to Reading List

Source URL: lvdmaaten.github.io

Language: English - Date: 2016-07-16 15:30:43
539Software engineering / Theoretical computer science / Computing / Concurrent computing / Constraint programming / Models of computation / Model checkers / Process calculus / Michael Butler / Model checking / FDR / Denotational semantics

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-11-21 11:00:56
540Theoretical computer science / Logic in computer science / Software engineering / Computer science / Hardware description languages / Synchronous programming languages / Formal methods / Denotational semantics / Esterel / Robin Milner / Milner / Logic for Computable Functions

Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:00
UPDATE